Solving the TTC 2011 Compiler Optimization Task with metatools

The authors' "metatools" are a collection of tools for generic programming. This includes generating Java sources from mathematically well-founded specifications, as well as the creation of strictly typed document object models for XML encoded texts. In this context, almost every computer-internal structure is treated as a "model", and every computation is a kind of model transformation. This concept differs significantly from "classical model transformation" executed by specialized tools and languages. Therefore it seemed promising to the organizers of the TTC 2011, as well as to the authors, to apply metatools to one of the challenges, namely to the "compiler optimization task". This is a report on the resulting experiences.Comment: In Proceedings TTC 2011, arXiv:1111.440

A simple and efficient step towards type-correct XSLT transformations

XSLT 1.0 is a standardized functional programming language and widely used for defining transformations on XML models and documents, in many areas of industry and publishing. The problem of XSLT type checking is to verify that a given transformation, when applied to an input which conforms to a given structure definition, e.g. an XML DTD, will always produce an output which adheres to a second structure definition. This problem is known to be undecidable for the full range of XSLT and document structure definition languages. Either one or both of them must be significantly restricted, or only approximations can be calculated. The algorithm presented here takes a different approach towards type correct XSLT transformations. It does not consider the type of the input document at all. Instead it parses the fragments of the result document contained verbatim in the transformation code and verifies that these can potentially appear in the result language, as defined by a given DTD. This is a kind of abstract interpretation, which can be executed on the fly and in linear time when parsing the XSLT program. Generated error messages are located accurately to a child subsequence of a single result element node. Apparently the method eliminates a considerable share of XSLT programming errors, on the same order of magnitude as a full fledged global control-flow analysis

MetricSplit - automated notation of rhythms, adequate to a metric structure: technical report

In der traditionellen "Westeuropäischen Standard-(Musik-)Notation" (""Common Western Notation", CWN) kann jeder als Folge von Dauernwerten gegebene musikalische Rhythmus mittels der grundlegenden Mittel der Dauernbeschreibung (Notensymbole, Verlängerungspunkte, Proportionalklammern, Haltebögen) auf unendlich viele Weisen dargestellt werden. Ein musikalisches Metrum ist eine hierarchische Gliederung der Dauer eines Taktes in Unterintervalle. Ein Metrum schränkt die Anzahl der möglichen Notationen deutlich ein auf die ihm adäquaten. Dies bedeutet: ergonomisch zweckmäßig für leichte Erfassbarkeit der ryhthmischen Gestalt als solcher und ihrer Stellung relativ in der Hierarchie des Metrums. Im Falle automatisch generierter Dauernfolgen, z.B. durch algorithmische Komposition oder computergestützte Analyse, erhebt sich das Problem der automatischen Berechnung solch adäquater Darstellungen. Dies erledigt der Algorithmus metricSplit, der in dieser Schrift spezifiziert wird. Als vollständige Funktion über alle möglichen Eingaben ist er ohne veröffentlichte Vorläufer. Die zu seiner Konstruktion und Beschreibung notwendigen Formalisierungen sollen auch beitragen zur allgemeinen Diskussion über Rollen und Eigenschaften von mathematischen Modellen in ästhetischen Kontexten

Pumpless Extracorporeal Hemadsorption Technique (pEHAT) : A Proof-of-Concept Animal Study

Background: Extracorporeal hemadsorption eliminates proinflammatory mediators in critically ill patients with hyperinflammation. The use of a pumpless extracorporeal hemadsorption technique allows its early usage prior to organ failure and the need for an additional medical device. In our animal model, we investigated the feasibility of pumpless extracorporeal hemadsorption over a wide range of mean arterial pressures (MAP). Methods: An arteriovenous shunt between the femoral artery and femoral vein was established in eight pigs. The hemadsorption devices were inserted into the shunt circulation; four pigs received CytoSorb® and four Oxiris® hemadsorbers. Extracorporeal blood flow was measured in a range between mean arterial pressures of 45–85 mmHg. Mean arterial pressures were preset using intravenous infusions of noradrenaline, urapidil, or increased sedatives. Results: Extracorporeal blood flows remained well above the minimum flows recommended by the manufacturers throughout all MAP steps for both devices. Linear regression resulted in CytoSorb® blood flow [mL/min] = 4.226 × MAP [mmHg] − 3.496 (R-square 0.8133) and Oxiris® blood flow [mL/min] = 3.267 × MAP [mmHg] + 57.63 (R-square 0.8708), respectively. Conclusion: Arteriovenous pumpless extracorporeal hemadsorption resulted in sufficient blood flows through both the CytoSorb® and Oxiris® devices over a wide range of mean arterial blood pressures and is likely an intriguing therapeutic option in the early phase of septic shock or hyperinflammatory syndromes

A randomised controlled trial to evaluate and optimize the use of antiplatelet agents in the perioperative management in patients undergoing general and abdominal surgery- the APAP trial (ISRCTN45810007)

<p>Abstract</p> <p>Background</p> <p>Due to the increase of cardiovascular diseases acetylsalicylic acid (ASA) has become one of the most frequently prescribed drugs these days. Despite the rising number of patients with ASA medication presenting for elective general and abdominal surgery and the potentially increased risk of hemorrhage in these patients, there are no clear, evidence-based guidelines for the perioperative use of antiplatelet agents. The present randomised controlled trial was designed to evaluate the safety and optimize the use of ASA in the perioperative management of patients undergoing general and abdominal surgery.</p> <p>Methods/Design</p> <p>This is a two-arm, monocenter randomised controlled trial. Patients scheduled for elective surgical treatment (i.e. inguinal hernia repair, cholecystectomy and colorectal resections) with ASA as a permanent medication are randomised equally to perioperative continuation or discontinuation of ASA. Patients who are randomised in the discontinuation group stop the administration of ASA five days prior to surgical treatment and start intake of ASA on postoperative day 5. Fifty-two patients will be enrolled in this trial. The primary outcome is the incidence of postoperative bleeding and cardiovascular events at 30 days after surgery. In addition a set of general as well as surgical variables are analysed.</p> <p>Discussion</p> <p>This is a randomised controlled two-group parallel trial designed to assess the safety and optimize the use of ASA in the perioperative management of patients undergoing general and abdominal surgery. The results of this pilot study build the basis for a confirmative randomised controlled trial that may help to clarify the use and potential risk/benefits of perioperative ASA medication in patients undergoing elective surgery.</p> <p>Trial registration</p> <p>The trial is registered with Current Controlled Trials <a href="http://www.controlled-trials.com/ISRCTN45810007">ISRCTN45810007</a>.</p